-
1 conditional recursion
Большой англо-русский и русско-английский словарь > conditional recursion
-
2 conditional recursion
Математика: условная рекурсия -
3 conditional recursion
English-Russian electronics dictionary > conditional recursion
-
4 conditional recursion
The New English-Russian Dictionary of Radio-electronics > conditional recursion
-
5 conditional recursion
мат.English-Russian scientific dictionary > conditional recursion
-
6 recursion
рекурсия; циклическое повторение -
7 recursion
вчт1) рекурсия2) рекуррентная формула; рекуррентное соотношение•- double recursion
- limited recursion
- multiple recursion
- nested recursion
- primitive recursion
- restricted recursion
- shifted recursion
- structural recursion
- tail recursion
- transfinite recursion
- unnested recursion -
8 recursion
вчт.1) рекурсия2) рекуррентная формула; рекуррентное соотношение•- double recursion
- limited recursion
- multiple recursion
- nested recursion
- primitive recursion
- restricted recursion
- shifted recursion
- structural recursion
- tail recursion
- transfinite recursion
- unnested recursionThe New English-Russian Dictionary of Radio-electronics > recursion
-
9 условная рекурсия
Большой англо-русский и русско-английский словарь > условная рекурсия
-
10 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
11 loop
1) циклв программировании - повторяющееся выполнение последовательности операторов (тела цикла), контролируемое с помощью специального счётчика (счётчика цикла, loop counter), а также по логическому условию его продолжения или завершения. В зависимости от того, когда проверяется это условие - в начале цикла или в конце - различают циклы с предпроверкой (pretested loop) и с постпроверкой (posttested loop). Циклы бывают одиночными и вложенными (nested loop)Ant:см. тж. conditional loop, counted loop, embedded loop, empty loop, endless loop, event loop, induction variable, infinite loop, inner loop, iteration, loop blocking, loop body, loop collapsing, loop distribution, loop exit, loop fission, loop fusion, loop header, loop interchange, loop invariant, loop inversion, loop optimization, loop parallelization, loop peeling, loop repeat, loop splitting, loop statement, loop termination, loop transformation, loop unrolling, loop unswitching, loop variable, loop vectorization, wait loop2) петляв теории графов - ребро, которое соединяет вершину саму с собойсм. тж. graph3) петля, кольцо, контур4) (см. тж. looping) - зацикливание [пакетов]в компьютерной сети - ситуация, когда пакеты передаваемых данных не попадают к адресату, а просто постоянно проходят по некоторой круговой последовательности сетевых узлов (network node)5) двигаться по кругу; проходить циклнапример, the inner loop counter loops five times - внутренний цикл прокрутится пять разАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > loop
-
12 definition
1) определение, дефиниция, формулировка2) ясность, понятность3) чёткость, резкость ( изображения)•definition by abstraction — матем. определение путём абстракции
definition by contraposition — матем. определение через противоположение
definition by correlation — матем. определение через корреляционное отношение
definition by induction — матем. определение по индукции
definition by recursion — матем. рекурсивное определение
См. также в других словарях:
Conditional proof — A conditional proof is a proof that takes the form of asserting a conditional, and proving that the antecedent of the conditional necessarily leads to the consequent. The assumed antecedent of a conditional proof is called the conditional proof… … Wikipedia
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
McCarthy Formalism — In computer science and recursion theory the McCarthy Formalism (1963) of computer scientist John McCarthy clarifies the notion of recursive functions by use of the IF THEN ELSE construction common to computer science, together with the four of… … Wikipedia
Control flow — Not to be confused with Flow control. In computer science, control flow (or alternatively, flow of control) refers to the order in which the individual statements, instructions, or function calls of an imperative or a declarative program are… … Wikipedia
Compiler optimization — is the process of tuning the output of a compiler to minimize or maximize some attributes of an executable computer program. The most common requirement is to minimize the time taken to execute a program; a less common one is to minimize the… … Wikipedia
Counter machine — A counter machine is an abstract machine used in formal logic and theoretical computer science to model computation. It is the most primitive of the four types of register machines. A counter machine comprises a set of one or more unbounded… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
History of logic — Philosophy ( … Wikipedia
Turing machine — For the test of artificial intelligence, see Turing test. For the instrumental rock band, see Turing Machine (band). Turing machine(s) Machina Universal Turing machine Alternating Turing machine Quantum Turing machine Read only Turing machine… … Wikipedia
Register machine — In mathematical logic and theoretical computer science a register machine is a generic class of abstract machines used in a manner similar to a Turing machine. All the models are Turing equivalent. Contents 1 Overview 2 Formal definition 3 … Wikipedia
C (programming language) — C The C Programming Language[1] (aka K R ) is the seminal book on C … Wikipedia
